⚡ Z3 Optimization

Constraint Programming, SMT Integration, Performance Verification, Automated Reasoning

Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
System Performance of Edge AI Applications is Beyond Models
dev.to·9h·
Discuss: DEV
📊Performance Profiling
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
Matrix Multiplication on Nvidia's Blackwell: Part 1 – Introduction
modular.com·1d·
Discuss: Hacker News
⚡SIMD Optimization
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·13h
🔄Language Evolution
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Why I Ditched Malloc for AI Inference
gilli.dev·2d·
Discuss: Hacker News
🧠Memory Allocators
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·1d·
Discuss: Hacker News
🔩Systems Programming
Condor's Cuzco RISC-V Core at Hot Chips 2025
old.chipsandcheese.com·11h·
Discuss: Lobsters, Hacker News
⚙️Modern Assembly
Enhanced Bio-Oil Upgrading via Catalytic Pyrolysis Optimization with AI-Driven Kinetic Modeling
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Tinyrenderer second edition: software rendering in 500 lines of bare C++
haqr.eu·9h·
Discuss: Hacker News, r/programming
📟Terminal Physics
Why Vibe-Coding Doesn't Work on an Existing Codebase
blog.reffie.me·1d·
Discuss: Hacker News
📏Code Metrics
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types